C:/Documents and Settings/wkmak/Desktop/DropBox/Dropbox/CP2012_Working/main.dvi

Source URL: www.tmak.info

• Operations research
• Applied mathematics
• Linear programming
• Mathematics
• Mathematical analysis
• Local consistency
• Duality
• Constraint optimization
• Constraint satisfaction problem
• Constraint programming
• Mathematical optimization
• Convex optimization

Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search? P. Gutierrez1 , J.H.M. Lee2 , K.M. Lei2 , T.W.K. Mak3 , P. Meseguer1 1 3

Source URL: www.tmak.info

• Operations research
• Mathematics
• Theoretical computer science
• Distributed constraint optimization
• Algorithm
• Constraint optimization
• IP
• Local consistency
• Constraint programming
• Mathematical optimization
• Applied mathematics

Louisiana State University School of Library and

Source URL: ils.unc.edu

GetDP — A general software environment for the treatment of discrete problems Patrick Dular and Christophe Geuzaine Department of Electrical Engineering Montefiore Institute B28, Sart Tilman Campus `

Source URL: www.geuz.org

• Mathematical optimization
• Multivariable calculus
• Constraint programming
• Constraint
• Jacobian matrix and determinant
• Calculus
• Mathematics
• Mathematical analysis

Child Chain Shifts as Faithfulness to Input Prominence

Source URL: www.lingref.com

• Trigraph
• Constraint programming
• Linguistics
• Optimality theory
• Phonology

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation The Ciao Programming Environment and Multiparadigm Programming

Source URL: clip.dia.fi.upm.es

• Programming paradigms
• Prolog
• Integrated development environments
• ECLiPSe
• Logic programming
• Preprocessor
• Emacs
• Ciao
• D
• Software
• Computing
• Constraint programming

TLP 12 (1–2): 219–252, [removed]C Cambridge University Press 2012  219

Source URL: clip.dia.fi.upm.es

• Constraint programming
• Programming paradigms
• Functional languages
• Prolog
• Logic programming
• CLP
• Constraint Handling Rules
• Curry
• Ciao
• Software engineering
• Computer programming
• Computing

Guidelines for Papers presented for the

Source URL: secure.orsnz.org.nz

• Rail transport
• Convex optimization
• Railway signalling
• Duality
• Linear programming
• Mathematical optimization
• Railroad switch
• Signalling block system
• Decomposition method
• Constraint programming
• Transport
• Land transport

Submission to the Commission on the Limits of the Continental Shelf pursuant to Article 76, paragraph 8 of the United Nations Convention on the Law of the Sea 1982

Source URL: www.un.org

AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III

Source URL: alain.colmerauer.free.fr

• Prolog
• Constraint programming
• Programming paradigms
• Information Processing Language
• Constraint logic programming
• Logic programming
• Boolean algebra
• B-Prolog
• Software engineering
• Computing
• Computer programming